This
TiddlyWiki
contains the following tiddlers:
/Users/hongbochen/Code/ya0guang.github.io/tiddly/tiddlers/$__StoryList_1.tid
/Users/hongbochen/Code/ya0guang.github.io/tiddly/tiddlers/$__StoryList_2.tid
/Users/hongbochen/Code/ya0guang.github.io/tiddly/tiddlers/$__StoryList.tid
`tvm.build`
`wasm_runtime_memory_init`
$:/config/AutoSave
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/import
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/more-page-actions
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/new-journal
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/palette
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/storyview
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/tag-manager
$:/config/RelinkOnRename
$:/config/WikiParserRules/Inline/wikilink
$:/core
$:/DefaultTiddlers
$:/Import
$:/isEncrypted
$:/language
$:/languages/en-US
$:/languages/zh-CN
$:/palette
$:/plugins/tiddlywiki/highlight
$:/plugins/tiddlywiki/katex
$:/plugins/tiddlywiki/markdown
$:/SiteSubtitle
$:/SiteTitle
$:/status/RequireReloadDueToPluginChange
$:/StoryList
$:/theme
$:/themes/tiddlywiki/snowwhite
$:/themes/tiddlywiki/vanilla
$:/themes/tiddlywiki/vanilla/metrics/sidebarbreakpoint
$:/themes/tiddlywiki/vanilla/metrics/sidebarwidth
$:/themes/tiddlywiki/vanilla/metrics/storyleft
$:/themes/tiddlywiki/vanilla/metrics/storyright
$:/themes/tiddlywiki/vanilla/metrics/storywidth
$:/themes/tiddlywiki/vanilla/metrics/tiddlerwidth
$:/themes/tiddlywiki/vanilla/options/codewrapping
$:/themes/tiddlywiki/vanilla/options/sidebarlayout
$:/themes/tiddlywiki/vanilla/options/stickytitles
$:/themes/tiddlywiki/vanilla/settings/backgroundimageattachment
$:/view
A Design and Verification Methodology for Secure Isolated Regions
A Formal Foundation for Secure Remote Execution of Enclaves
A Study of Modern Linux API Usage and Compatibility: What to Support When You’re Supporting
A Survey on Mix Networks and Their Secure Applications
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
Achieving Keyless CDNs with Conclaves
add existing ssh key
Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
Agamotto1.png
Agamotto2.png
Apache Flink™: Stream and Batch Processing in a Single Engine
Asm Cheat Sheets
Basal Ganglia
BesFS_overview.png
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
bg4.png
BlackMirror: Preventing Wallhacks in 3D Online FPS Games
bloodSupply1.png
bloodSupply2.jpg
Brainstem & Cerebellum
BranchShadowing2.png
BranchShadowing3.png
Build Linux Kernel
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs
chancel2.png
chancel3.png
chancelt3.png
Clemmys: Towards Secure Remote Execution in FaaS
COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX
collapse
Controlled-Channel Attacks: Deterministic SideChannels for Untrusted Operating Systems
Covering, Blood Supply and Ventricular System
covering1.png
Cranial Nerves
crbl1.png
crbl2.jpg
Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
delegatee_centrally.png
delegatee_p2p.png
DelegaTEE: Brokered Delegation Using Trusted Execution Environments
Dev1.jpg
Dev2.png
Dev3.jpg
Development
DIFFUZZ: Differential Fuzzing for Side-Channel Analysis
Docker Common Commands
Dynamic Binary Translation for SGX Enclaves (Ratel)
Emilia: Catching Iago in Legacy Code
Exploring and enforcing security guarantees via program dependence graphs
FaaS Papers, mainly in TEE
Git Notes
graphene_arch.png
Graphene-SGX PF
Graphene-SGX PF Callbacks
Graphene-SGX PF Data Structure
Graphene-SGX PF Implementation
Graphene-SGX PF Internal
Graphene-SGX PF User Interfaces
GrapheneSGX
Gyri & Sulci
gyri&sulci1.png
gyri&sulci2.png
gyri&sulci3.png
gyri&sulci4.png
image.png
Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing
Interface Security
Intro
intro1.png
intro2.png
intro3.png
intro4.png
intro5.jpg
Limbic System
limbic1.png
limbic2.png
limbic3.jpg
limbic4.png
limbic5.jpg
llvm_output.png
LLVMModuleNode::Init
m1.jpg
m2.jpg
m3.jpg
Matel Music
mb1.png
mb2.png
MetaTiddler
mixnet1.png
mixnet2.png
mixnet3.png
mixnet4.png
ObliDC: An SGX-based Oblivious Distributed Computing Framework with Formal Proof
Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
Opaque: An Oblivious and Encrypted Distributed Analytics Platform
p1.png
p2.png
PapersByFields
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation
Privado: Practical and Secure DNN Inference with Enclaves
PrivGuard: Privacy Regulation Compliance Made Easier
PrivGuard.png
Proof-carring Code
Provably-Safe Multilingual Software Sandboxing using WebAssembly
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX
SAT & SMT
Scalable Memory Protection in the Penglai Enclave
Screen Shot 2022-01-24 at 11.26.06 PM.png
SDK_PF_Close
SDK_PF_DataNode
SDK_PF_Flush
SDK_PF_metadata
SDK_PF_New
SDK_PF_Write
SDK_PFImplementations
SDK_PFUserInterfaces
Secure Computing
SecurityPapersByTopic
See through Walls: Detecting Malware in SGX Enclaves with SGX-Bouncer
SENG, the SGX-Enforcing Network Gateway: Authorizing Communication from Shielded Clients
SENG1.png
SENG2&3.png
SGX Application Papers
SGX Documents
SGX Middleware (Papers)
SGX Posts
SGX_PF_Class
SGXCacheAttack.png
Shell Configs
Side-Channel Meta
Software Grand Exposure: SGX Cache Attacks Are Practical
Syscall Fuzzers
SystemPapers
Teaclave
Teaclave Commands
TEEPapers
The Most Common Habits from more than 200 English Papers written by Graduate Chinese Engineering Students
To Read List
Toward general diagnosis of static errors
Towards Demystifying Serverless Machine Learning Training
Trust more, serverless
Trusted Computing Base TCB
TrustZonePapers
TVM Code Generation
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks
ventricular.jpg
Virtualization in SGX
WAMR `init_runtime`
WAMR `load_from_sections`
WAMR `wasm_application_execute_main`
WAMR `wasm_interp_call_func_bytecode`
WAMR `wasm_runtime_instantiate_internal`
WAMR `wasm_runtime_load`
WAMR Analysis
WAMR Installation & run in SGX enclave
WAMR+Teaclave
wasm_runtime_env_init
wasmtime
Web Assembly+ SGX
WebAssembly
Yu-Gi-Oh Meta 游戲王
Доверя́й, но проверя́й: SFI safety for native-compiled Wasm